M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

Delphi Towards a Recommender System That Suggests Models and Parameters for Data Kalyan Veeramachaneni

Source URL: groups.csail.mit.edu

• Software
• Statistical classification
• Support vector machine
• Computational neuroscience
• Computational statistics
• Computing
• Applied mathematics
• Artificial neural network
• Linux kernel

Mechanized Mathematics Jacques Carette1 1 Department of Computing and Software, McMaster University www.cas.mcmaster.ca/∼carette

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Computability theory
• Recursion
• Subroutines
• Mathematics
• Usability

CAHSI EVALUATION REPORT Dr. Heather Thiry and Dr. Sarah Hug, Golden Evaluation

Source URL: cahsi.cs.utep.edu

• Education
• Science and technology
• Academia
• V-12 Navy College Training Program
• Western Oregon University
• Science
• technology
• engineering
• and mathematics
• University of Puerto Rico at Mayagez
• Undergraduate research
• Computing Research Association
• Integrated Postsecondary Education Data System
• Massachusetts Institute of Technology
• California State University

Canadian Mathematics Competition An activity of the Centre for Education in Mathematics and Computing, University of Waterloo, Waterloo, Ontario

Source URL: cemc.math.uwaterloo.ca

Walk the Line: Consistent Network Updates with Bandwidth Guarantees Soudeh Ghorbani and Matthew Caesar Department of Computer Science University of Illinois at Urbana-Champaign 201 North Goodwin Avenue

Source URL: web.engr.illinois.edu

• Routing algorithms
• Search algorithms
• Mathematics
• Combinatorial optimization
• Game artificial intelligence
• A* search algorithm
• Routing
• Computing
• Applied mathematics
• Heuristic
• Edsger W. Dijkstra
• Hyper-V

R Foundation for Statistical Computing c/o Institute for Statistics and Mathematics Wirtschaftsuniversit¨at Wien, Welthandelsplatz 1, 1020 Wien, Austria Tel: +, Fax: +

Source URL: www.r-project.org

Canadian Mathematics Competition An activity of the Centre for Education in Mathematics and Computing, University of Waterloo, Waterloo, Ontario

Source URL: cemc.math.uwaterloo.ca

HISTORY OF MODERN STANDARD BALLROOM DANCING Don Herbison-Evans, Departmental Report TRS, Department of Mathematics and Computing, Central Queensland University, Bundaberg.

Source URL: storage.googleapis.com

The CENTRE for EDUCATION in MATHEMATICS and COMPUTING FRYER, GALOIS and HYPATIA CONTESTS Registration Form • Be sure to complete all sections and check your total cost (C)

Source URL: cemc.math.uwaterloo.ca